大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic (5th : 1981 : University of Michigan) 的图书(共6112本)

Trustworthy Global Computing [electronic resource] : 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

0
索取号：
作者：Kaklamanis、 Christos.、Nielson、 Flemming.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

New Advances in Intelligent Decision Technologies [electronic resource] : Results of the First KES International Symposium IDT 2009

0
索取号：
作者：Nakamatsu、 Kazumi.、Phillips-Wren、 Gloria.、Jain、 Lakhmi C.、Howlett、 Robert J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Differential Equations - Geometry, Symmetries and Integrability [electronic resource] : The Abel Symposium 2008

0
索取号：
作者：Kruglikov、 Boris.、Lychagin、 Valentin.、Straume、 Eldar.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Geodetic Reference Frames [electronic resource] : IAG Symposium Munich, Germany, 9-14 October 2006

0
索取号：
作者：Drewes、 Hermann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Information Security Practice and Experience [electronic resource] : 5th International Conference, ISPEC 2009 Xi鈥檃n, China, April 13-15, 2009 Proceedings

0
索取号：
作者：Bao、 Feng.、Li、 Hui.、Wang、 Guilin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Quantum Interaction [electronic resource] : Third International Symposium, QI 2009, Saarbr眉cken, Germany, March 25-27, 2009. Proceedings

0
索取号：
作者：Bruza、 Peter.、Sofge、 Donald.、Lawless、 William.、Rijsbergen、 Keith.、Klusch、 Matthias.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Processing of Oriental Languages. Language Technology for the Knowledge-based Economy [electronic resource] : 22nd International Conference, ICCPOL 2009, Hong Kong, March 26-27, 2009. Proceedings

0
索取号：
作者：Li、 Wenjie.、Moll谩-Aliod、 Diego.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic, Language, and Computation [electronic resource] : 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

0
索取号：
作者：Bosch、 Peter.、Gabelaia、 David.、Lang、 J茅r么me.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Reconfigurable Computing: Architectures, Tools and Applications [electronic resource] : 5th International Workshop, ARC 2009, Karlsruhe, Germany, March 16-18, 2009. Proceedings

0
索取号：
作者：Becker、 J眉rgen.、Woods、 Roger.、Athanas、 Peter.、Morgan、 Fearghal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Castagna、 Giuseppe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Attention in Cognitive Systems [electronic resource] : 5th International Workshop on Attention in Cognitive Systems, WAPCV 2008 Fira, Santorini, Greece, May 12, 2008 Revised Selected Papers

0
索取号：
作者：Paletta、 Lucas.、Tsotsos、 John K.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Burrs - Analysis, Control and Removal [electronic resource] : Proceedings of the CIRP International Conference on Burrs, 2nd-3rd April, 2009, University of Kaiserslautern, Germany

0
索取号：
作者：Aurich、 Jan C.、Dornfeld、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Logic-Based Program Synthesis and Transformation [electronic resource] : 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers

0
索取号：
作者：Hanus、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model Checking and Artificial Intelligence [electronic resource] : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers

0
索取号：
作者：Peled、 Doron A.、Wooldridge、 Michael J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

End-User Development [electronic resource] : 2nd International Symposium, IS-EUD 2009, Siegen, Germany, March 2-4, 2009. Proceedings

0
索取号：
作者：Pipek、 Volkmar.、Rosson、 Mary Beth.、Ruyter、 Boris.、Wulf、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Graph Drawing [electronic resource] : 16th International Symposium, GD 2008, Heraklion, Crete, Greece, September 21-24, 2008. Revised Papers

0
索取号：
作者：Tollis、 Ioannis G.、Patrignani、 Maurizio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.